Typově bezpečná správa vody: Implementace ochrany zdrojů pomocí typů | MLOG | MLOG